Appendix B . Progress and Prospects in Mechanized Indexing

Does the Appendix Location Change During Pregnancy?

Background: Early diagnosis of appendicitis is important during pregnancy.  Unlike omentom, cecum and appendix are not likely to be displaced by the growing uterus, so the concept of position change of the appendix during pregnancy is questionable. Objective: To determine the anatomical location of appendix during pregnancy. Methods: In a prospective study from October 1995 to March 1999, 291 w...

The Search for Underlying Principles of Health Impact Assessment: Progress and Prospects; Comment on “Investigating Underlying Principles to Guide Health Impact Assessment”

Health Impact Assessment (HIA) is a relatively young field of endeavour, and hence, future progress will depend on the planning, implementation and rigorous evaluation of additional HIAs of projects, programmes and policies the world over. In the June 2014 issue of the International Journal of Health Policy and Management, Fakhri and colleagues investigated underlying principles of HIA through ...

Mechanized Relational Verification of Concurrent Programs with Continuations: Technical Appendix

Adoption Prospects and Challenges of Rice-Cum-Fish Farming Technology in the Low-Land Plains of Southern Nigeria

This study examined the adoption prospects and challenges of rice-cum-fish production technology among rice and fish farmers in selected States in southern Nigeria (Delta, Edo, Lagos and Ondo States). Using questionnaire, data was sought from 720 sampled rice and fish farmers in the selected States. The data were analysed using descriptive statistics, logit regression. Results showed that more ...

Mechanized Formal Methods: Progress and Prospects

In the decade of the 1990s, formal methods have progressed from an academic curiosity at best, and a target of ridicule at worst, to a point where the leading manufacturer of microprocessors has indicated that its next design will be formally veri ed. In this short paper, I sketch a plausible history of the developments that led to this transformation, present a snapshot of the current state of...